Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing Reiner W. Hartenstein1, Ricardo P. Jacobi2 1 Fachbereich Informatik Kaiserslautern University of Technology

Source URL: www.mat.unb.br

GEOGRAPHIC NAMES INFORMATION SYSTEM: AN AUTOMATED PROCEDURE OF DATA VERIFICATION By Roger L. Payne U.S. Geological Survey 523 National Center Reston, Virginia 22092

Source URL: mapcontext.com

THE IMPROVE PROJECT: CREATING OBSERVATIONAL DATA SETS FOR THE VERIFICATION AND IMPROVEMENT OF MICROPHYSICAL SCHEMES Mark T. Stoelinga*, Peter V. Hobbs, Clifford F. Mass, John D. Locatelli, and Robert A. Houze University

Source URL: www2.mmm.ucar.edu

• Physical geography
• Meteorology
• Weather radars
• National Weather Service
• Weather forecasting
• Hydrology
• NEXRAD
• Quantitative precipitation forecast
• Precipitation
• Rain
• Orography
• Washington

Aaron Turon Research Statement My research lies broadly in the areas of programming languages and verification, with the goal of building reliable software systems. I am drawn to software components that are usually cha

Source URL: www.mpi-sws.org

• Computing
• Concurrency control
• Software
• Software transactional memory
• Non-blocking algorithm
• Lock
• Parallel computing
• Concurrency
• Concurrent data structure
• Separation logic
• Thread
• Concurrent computing

1.5 Verification of Surveying Instruments The surveying instruments used in 1999, as listed below in Table 8, have been verified and calibrated by the authorized verification bodies listed in Table 9, prior to the surve

Source URL: ksp.nict.go.jp

• Surveying
• Land use
• Geographic data and information
• Geodesy
• Optical devices
• Global Positioning System
• Geography
• Engineering
• Invar
• Total station
• GPS navigation device
• Sokkia

InspectRTCM The InspectRTCM software allows content analysis and verification of different GNSS real-time data streams. The data formats currently supported are: RTCM 2.x, RTCM 3.x, CMR and CMR+. The InspectRTCM tool sh

Source URL: www.alberding.eu

• Global Positioning System
• Networked Transport of RTCM via Internet Protocol
• Computing
• Computer networking
• Caster
• Proxy server
• Technology

JOURNAL OF GEOPHYSICAL RESEARCH, VOL. 108, NO. D23, 8654, doi:2003JD003642, 2003 A global aerosol model forecast for the ACE-Asia field experiment Mian Chin,1,2 Paul Ginoux,1,3 Robert Lucchesi,4,5 Barry Huebert,

Source URL: acdb-ext.gsfc.nasa.gov

• Weather forecasting
• Matter
• Chemistry
• Condensed matter physics
• Aerosol
• Black carbon
• Data assimilation
• Forecast verification
• Particulates

Deliverable No. 9.3 Report on the validation and certification of ObTiMA and DoctorEye Grant Agreement No.:

Source URL: p-medicine.eu

• Pharmaceutical industry
• Evaluation
• Medical research
• Validity
• Clinical data management
• Software testing
• Pharmacology
• Systems engineering
• Validation
• Verification and validation
• Software verification and validation
• Software verification

Sirius SC Software Features Applications: QA/QC of 2D and 3D Seismic Navigation Data. Used for FLQC by RPS. Final P1/90 Processing of 2D and 3D Seismic Navigation data Verification of compliance with UKOOA P1 and P2 data

Source URL: www.ecqc.com

• Software
• Application software
• Geographic information system
• Imaging
• 3D imaging
• 3D graphics software
• Graphics software
• Image segmentation
• Virtual reality

120 Theory, Suite 200 Irvine, Californiawww.accounting.uci.edu Verification of Employment The University of California, Irvine uses The Work Number® to complete verifications of employment.

Source URL: www.accounting.uci.edu

• The Work Number
• Security
• Immigration to the United States
• Check verification service
• Systematic Alien Verification for Entitlements
• Automatic identification and data capture